Finite model theory

Results: 870



#Item
861Finite model theory / Computational complexity theory / Model theory / FO / Structure / Datalog / Transitive closure / Database theory / Descriptive complexity theory / Mathematics / Theoretical computer science / Mathematical logic

PDF Document

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-06-14 11:31:33
862Science / Models of computation / Automata theory / Digital electronics / Formal methods / Finite-state machine / Software development process / Model checking / ECLiPSe / Computing / Formal sciences / Software engineering

PDF Document

Add to Reading List

Source URL: mbreen.com

Language: English - Date: 2012-02-22 06:55:47
863Country code top-level domains / Cthulhu Mythos reference codes and bibliography / FO / Finite model theory / English phonology

PDF Document

Add to Reading List

Source URL: www.arkansashighways.com

- Date: 2010-03-12 09:43:11
864Finite model theory / Lake Superior / Cumberland /  Maryland / Ontario / Geography of Ontario / Geography of the United States / FO

PDF Document

Add to Reading List

Source URL: www.gov.mb.ca

Language: English - Date: 2013-05-14 13:40:54
865Rod Paige / Mathematics / Education in the United States / FO / Finite model theory / Margaret Spellings

PDF Document

Add to Reading List

Source URL: www2.ed.gov

Language: English - Date: 2009-01-13 14:30:12
866English phonology / FO / Finite model theory / Ordinary differential equations

PDF Document

Add to Reading List

Source URL: www2.ed.gov

Language: English - Date: 2012-09-13 13:20:58
867FO / Finite model theory

PDF Document

Add to Reading List

Source URL: pib.nic.in

Language: English - Date: 2008-07-10 05:48:30
868English phonology / FO / Finite model theory / Planetary nomenclature

PDF Document

Add to Reading List

Source URL: pubs.usgs.gov

Language: English - Date: 2004-01-05 13:39:37
869Relational model / Model theory / Finite model theory / Database theory / Relational algebra / Null / Tuple / Relational database / Relation / Mathematics / Mathematical logic / Logic

PDF Document

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2012-06-25 09:00:39
870FO / Finite model theory / Presentation of a group / Cyclic order / Theorems and definitions in linear algebra / Group action / Mathematics / Abstract algebra / Algebra

PDF Document

Add to Reading List

Source URL: dml.cz

Language: English
UPDATE